Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
141	Example Combinatorial Proof October 11, 2015 Theorem 1. For all non-negative n, k ∈ Z, Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:56 Combinatorics Enumerative combinatorics Mathematical proofs Combinatorial proof Integer sequences Probability theory Binomial coefficient Bijective proof
142	Five Years of Math Programmatic and Course Assessment at UC Irvine Add to Reading List Source URL: assessment.uci.edu Language: English - Date: 2015-03-25 19:01:20 Mathematics education Calculus Mathematics Mathematical analysis Model theory Mathematical proof Algebra Mathematical economics Propositional calculus
143	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system
144	Logic and Proof Jeremy Avigad Robert Y. Lewis Floris van Doorn Version 891edf9, updated at:06: Add to Reading List Source URL: avigad.github.io Language: English - Date: 2016-08-13 19:54:37 Proof theory Formal systems Methods of proof Mathematical proofs Deductive reasoning Propositional calculus Natural deduction Theorem Rule of inference First-order logic Mathematical induction Formal proof
145	THE DISTRIBUTION OF CLOSED GEODESICS ON THE MODULAR SURFACE, AND DUKE’S THEOREM MANFRED EINSIEDLER, ELON LINDENSTRAUSS, PHILIPPE MICHEL, AND AKSHAY VENKATESH Abstract. We give an ergodic theoretic proof of a theorem o Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2011-09-02 01:08:56 Algebraic number theory Quadratic forms Field theory Discriminant Algebraic number field Quadratic field Ideal class group Binary quadratic form Differential geometry of surfaces Fundamental discriminant
146	A Grand Challenge of Theorem Discovery Geoff Sutcliffe1 , Yi Gao1 , and Simon Colton2 1 Department of Computer Science, University of Miami , Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-01-08 08:29:08 Automated theorem proving Statements Formal systems Proof theory Philosophy of mathematics Theorem Automated reasoning Conjecture Mathematical logic Mathematical proof Geoff Sutcliffe Axiom
147	A/z-CALCULUS: INTERPRETATION NATURAL AN Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-04 07:32:04 Proof theory Logic in computer science Constructivism Non-classical logic Deductive reasoning Natural deduction Sequent calculus CurryHoward correspondence Intuitionistic logic Lambda calculus Negation Sequent
148	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: lac.linuxaudio.org Language: English - Date: 2015-03-17 08:21:04 Type theory Functional languages FAUST Eval Dependent type Coq NyquistShannon sampling theorem Mathematical proof FeitThompson theorem Functional programming
149	Hammering towards QED Jasmin C. Blanchette Inria Nancy & LORIA, France Cezary Kaliszyk University of Innsbruck, Austria Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-01 13:38:31 Automated theorem proving Proof assistants Formal methods Statements Model theory QED manifesto Theorem Mathematical proof Automated reasoning First-order logic Isabelle Mathematical logic
150	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-03-16 06:02:31 Cryptography Zero-knowledge proof Computational complexity theory Proof of knowledge IP Presentation of a group

UPDATE